Reversible Term Rewriting
نویسندگان
چکیده
Essentially, in a reversible programming language, for each forward computation step from state S to state S′, there exists a constructive and deterministic method to go backwards from state S′ to state S. Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or quantum computing, to name a few. In this paper, we focus on term rewriting, a computation model that underlies most rule-based programming languages. In general, term rewriting is not reversible, even for injective functions; namely, given a rewrite step t1 → t2, we do not always have a decidable and deterministic method to get t1 from t2. Here, we introduce a conservative extension of term rewriting that becomes reversible. Furthermore, we also define a transformation to make a rewrite system reversible using standard term rewriting. 1998 ACM Subject Classification F.4.2 Grammars and Other Rewriting Systems
منابع مشابه
Reversible Term Rewriting: Foundations and Applications
Essentially, in a reversible programming language, for each forward computation step from state S to state S′, there exists a constructive and deterministic method to go backwards from state S′ to state S. Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or qu...
متن کاملReversible computation in term rewriting
Essentially, in a reversible programming language, for each forward computation from state S to state S , there exists a constructive method to go backwards from state S ′ to state S. Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or quantum computing, to na...
متن کاملRicercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
Previously, Soeken and Thomsen presented six basic semantics-preserving rules for rewriting reversible logic circuits, defined using the well-known diagrammatic notation of Feynman. While this notation is both useful and intuitive for describing reversible circuits, its shortcomings in generality complicates the specification of more sophisticated and abstract rewriting rules. In this paper, we...
متن کاملA relational approach to translation
In this paper, we show how the notion of "co-description" in LFG used for specifying a translation correspondence in a declarative way [Kaplan et al. 89] can be reformulated in a relational framework gaining modularity and reversibility of grammars. We illustrate this approach with a transfer example taken from [Kaplan et al. 89] using a logic formalism which has feature terms as basic data str...
متن کاملP-166: Knowledge and Attitudes towards Long Term Usefulness of Reversible Contraceptives among Females in Reproductive Age in Yazd, Iran
Background: Yazd has important potential role in treatment of infertility and promotion of sexual health in south of Iran. Long term usefulness of reversible contraceptives (LTURC) is the most cost-effective contraceptives between women. This study aimed to assess the reproductive aged women's knowledge, attitudes, and factors associated with use of LTURC. Materials and Methods: This cross...
متن کامل